大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IFAC-IFIP Workshop on Real-Time Programming 的图书(共4977本)

Multimedia for Cultural Heritage [electronic resource] : First International Workshop, MM4CH 2011, Modena, Italy, May 3, 2011, Revised Selected Papers

0
索取号：
作者：Grana、 Costantino.、Cucchiara、 Rita.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Proceedings of the 1st International Workshop on High-Speed and Intercity Railways [electronic resource] : Volume 2

0
索取号：
作者：Ni、 Yi-Qing.、Ye、 Xiao-Wei.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Proceedings of the 1st International Workshop on High-Speed and Intercity Railways [electronic resource] : Volume 1

0
索取号：
作者：Ni、 Yi-Qing.、Ye、 Xiao-Wei.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

The Correctness-by-Construction Approach to Programming [electronic resource]

0
索取号：
作者：Kourie、 Derrick G.、Watson、 Bruce W.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Foundations and Practice of Security [electronic resource] : 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers

0
索取号：
作者：Garcia-Alfaro、 Joaquin.、Lafourcade、 Pascal.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Information Security Applications [electronic resource] : 12th International Workshop, WISA 2011, Jeju Island, Korea, August 22-24, 2011. Revised Selected Papers

0
索取号：
作者：Jung、 Souhwan.、Yung、 Moti.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Knowledge Representation for Health-Care [electronic resource] : AIME 2011 Workshop KR4HC 2011, Bled, Slovenia, July 2-6, 2011. Revised Selected Papers

0
索取号：
作者：Ria帽o、 David.、Teije、 Annette.、Miksch、 Silvia.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Computation, Physics and Beyond [electronic resource] : International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers

0
索取号：
作者：Dinneen、 Michael J.、Khoussainov、 Bakhadyr.、Nies、 Andr茅.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Agents and Data Mining Interaction [electronic resource] : 7th International Workshop on Agents and Data Mining Interation, ADMI 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers

0
索取号：
作者：Cao、 Longbing.、Bazzan、 Ana L. C.、Symeonidis、 Andreas L.、Gorodetsky、 Vladimir I.、Weiss、 Gerhard.、Yu、 Philip S.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Open Problems in Network Security [electronic resource] : IFIP WG 11.4 International Workshop, iNetSec 2011, Lucerne, Switzerland, June 9, 2011, Revised Selected Papers

0
索取号：
作者：Camenisch、 Jan.、Kesdogan、 Dogan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Resource Discovery [electronic resource] : Third International Workshop, RED 2010, Paris, France, November 5, 2010, Revised Selected Papers

0
索取号：
作者：Lacroix、 Zo茅.、Vidal、 Mar铆a Esther.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Theory of Security and Applications [electronic resource] : Joint Workshop, TOSCA 2011, Saarbr眉cken, Germany, March 31 - April 1, 2011, Revised Selected Papers

0
索取号：
作者：M枚dersheim、 Sebastian.、Palamidessi、 Catuscia.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Computer and Computing Technologies in Agriculture V [electronic resource] : 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part I

0
索取号：
作者：Li、 Daoliang.、Chen、 Yingyi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Computer and Computing Technologies in Agriculture V [electronic resource] : 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part II

0
索取号：
作者：Li、 Daoliang.、Chen、 Yingyi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Computer and Computing Technologies in Agriculture V [electronic resource] : 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part III

0
索取号：
作者：Li、 Daoliang.、Chen、 Yingyi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Formal Aspects of Component Software [electronic resource] : 7th International Workshop, FACS 2010, Guimar茫es, Portugal, October 14-16, 2010, Revised Selected Papers

0
索取号：
作者：Barbosa、 Lu铆s Soares.、Lumpe、 Markus.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.